$\forall$$r$:$\mathbb{Z}$, $x$:$\mathbb{Q}$. Dec(q{-}rel($r$;$x$))